🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📏 Linear Logic

Resource Awareness, Session Types, Proof Nets, Substructural Logic

Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·4h
💻Local LLMs
How To Solve Every Programming Problem
blog.codeminer42.com·13h
📐Interval Arithmetic
Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
🧮Theorem Proving
AI-Driven Artifact Deconstruction & Reconstruction via Multi-Modal Knowledge Graph Harmonization
dev.to·3h·
Discuss: DEV
🏺Computational Archaeology
An easy-to-implement, arena-friendly hash map
nullprogram.com·11h·
Discuss: Lobsters
🔐Hash Functions
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·1d
🧮Z3 Solver
Relative Completeness of Incorrectness Separation Logic
arxiv.org·2d
🧠Separation Logic
Show HN: Principles of Building AI Agents book [pdf]
github.com·18h·
Discuss: Hacker News
⚡Proof Automation
My blog on zero-knowledge cryptography
kaw101010.github.io·7h·
Discuss: Hacker News
🔐Quantum Security
Linear Types for Programmers
twey.io·4d·
Discuss: Hacker News
🔒Linear Types
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·1d·
Discuss: Hacker News
🔒WASM Capabilities
Algorithmic Optimization of Circular Economy Logistics via Hyper-Efficient Resource Routing
dev.to·1h·
Discuss: DEV
🕸️Network Topology
Actual LLM agents are coming
pleias.fr·3h·
Discuss: Hacker News
🔲Cellular Automata
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·1d
✨Effect Handlers
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·2d
💻Local LLMs
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·1d
🎯Dependent Parsing
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🌳Persistent Data Structures
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·17h·
Discuss: Hacker News
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap